formal logic перевод

• 1) формальная логика

• formal:    1) _ам. _разг. одежда для торжественных вечерних приемов; фрак; длинное вечернее платье2) _ам. _разг. мероприятие, на котором участники должны быть в вечерних туалетах3) официальный Ex: formal agree
• logic:    1) логика (наука)2) логика, логичность (аргументации и т. п.); разумность; закономерность Ex: to argue with logic рассуждать логично3) логика, неизбежный вывод; неизбежность какого-л. поведения Ex:
• formal accusation:    официальное обвинение
• formal address:    официальное выступление
• formal admission:    официальное признание факта; формальное признание факта (делающее ненужным и поэтому исключающее его доказывание)
• formal agreement:    формальное соглашение
• formal algorithm:    мат. формальный алгоритм
• formal analysis:    мат. формальный анализ
• formal approach:    формальный метод, формализованный подход
• formal approximation:    мат. формальная аппроксимация
• formal argument:    формальный параметр
• formal arithmetic:    мат. формальная арифметика, арифметическое исчисление
• formal authority:    1)официальные полномочия 2)формальные полномочия
• formal axiomatics:    формальная аксиоматика
• formal bid:    формальное предложение

• Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.
  Аристотелевская силлогистика с точки зрения современной формальной логики.
• He is rightly considered the founder of formal logic.
  Он по праву считается основателем формальной логики.
• Formal logic and empirically verifiable data ought to be the foundation upon which any theory should rest.
  Формальная логика и эмпирически проверяемые данные должны быть основой, на которую опирается любая теория.
• There has been considerable philosophical dispute since Mackie, as to the best way to formulate the paradox of omnipotence in formal logic.
  Начиная с Макки продолжается философский спор относительно того, как лучше сформулировать парадокс всемогущества в формальной логике.